Codata in Action